Upload
Featured Recent Articles Topics Login Upload

Search Results for 'type checker'

type checker published presentations and documents on DocSlides.

Static and User-Extensible
Static and User-Extensible
by briana-ranney
Proof Checking. Antonis. . Stampoulis. . Zhong....
GUI Threading
GUI Threading
by sherrill-nordquist
Explained and Verified. Michael Ernst. U. of Wash...
Static and User-Extensible
Static and User-Extensible
by celsa-spraggs
Proof Checking. Antonis. . Stampoulis. . Zhong....
The design and implementation of a workflow analysis tool
The design and implementation of a workflow analysis tool
by giovanna-bartolotta
Vasa Curcin. Department of Computing. Imperial Co...
Inferable Object-Oriented Typed Assembly Language
Inferable Object-Oriented Typed Assembly Language
by natalia-silvester
Ross Tate. , Juan Chen, Chris Hawblitzel. Typed A...
Hack for HHVM Converting Facebook
Hack for HHVM Converting Facebook
by karlyn-bohler
Julien Verlaguet. Software . Engineer. Facebook. ...
Inferable Object-Oriented Typed Assembly Language
Inferable Object-Oriented Typed Assembly Language
by lindy-dunigan
Ross Tate. , Juan Chen, Chris Hawblitzel. Typed A...
Android Smart Card ID Checker
Android Smart Card ID Checker
by calandra-battersby
UHCL Capstone Team 6. Michael Woodruff. Raymond ....